فیلترها/جستجو در نتایج    

فیلترها

سال

بانک‌ها



گروه تخصصی







متن کامل


نویسندگان: 

درویشی داریوش (سعید)

نشریه: 

منطق پژوهی

اطلاعات دوره: 
  • سال: 

    1389
  • دوره: 

    1
  • شماره: 

    1
  • صفحات: 

    57-82
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    726
  • دانلود: 

    200
چکیده: 

ارسطو در ارگانون، حمل را عین ایجاب دانسته است. ما حمل غیر ایجابی نداریم. سلب در ارگانون، سلب حمل است. هنگامی که مفهومی از شیئی سلب می شود، ما با یک حمل مواجه نیستیم. این مقاله در پی اثبات این نکته است که این عقیده ارسطو به پارادوکس هایی خواهد انجامید که در متن منطق ارسطویی قابل پاسخ گویی نیستند. و در نهایت، نشان خواهیم داد که این عقیده ارسطو یکسره نابه جاست و حمل سلبی، در حکم یک بن بست در منطق نیست، بلکه آن نیز امکان دارد. از آنجا که در این مقاله از قاعده نقض محمول استفاده شده است، و ارسطو مشخصا این قاعده را نمی پذیرد، برای دفاع از روش شناسی مقاله، این اعتقاد ارسطو تحلیل شده و نادرستی آن، نشان داده خواهد شد. در مجموع، مدعیات مقاله حاضر عبارت است از:(1) حمل و ایجاب یکی نیستند، بلکه ما حمل سلبی نیز داریم.(2) گزاره های موجبه معدوله، برخلاف عقیده همه منطق دانان قدیم، در واقع ایجابی نیستند، بلکه سلبی اند.(3) نقض محمول، قاعده ای صادق و قابل استفاده برای اهداف منطق قدیم است.(4) قاعده فرعیه، صادق اما ناقص است و شکل درست آن بدین قرار خواهد بود: «انتساب حکمی ایجابی یا سلبی بر چیزی، فرع بر ثبوت آن چیز است.»به این ترتیب، هر نوع حمل، اعم از ایجابی یا سلبی، نمی تواند بر معدوم انجام گیرد و در نتیجه، گزاره های سالبه به انتفاء موضوع کاذبند.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 726

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 200 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

BENSALEM SADDEK | HAVELUND KLAUS

اطلاعات دوره: 
  • سال: 

    2005
  • دوره: 

    -
  • شماره: 

    -
  • صفحات: 

    0-0
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    111
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 111

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    2008
  • دوره: 

    -
  • شماره: 

    8
  • صفحات: 

    295-308
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    275
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 275

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
نویسندگان: 

GAISFORD J.D. | KERR W.A.

اطلاعات دوره: 
  • سال: 

    2007
  • دوره: 

    17
  • شماره: 

    3
  • صفحات: 

    1-17
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    112
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 112

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

پیرا عین اله

اطلاعات دوره: 
  • سال: 

    1401
  • دوره: 

    20
  • شماره: 

    1
  • صفحات: 

    73-79
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    292
  • دانلود: 

    70
چکیده: 

تحلیل ایمنی سیستم های نرم افزاری، خصوصاً از نوع بحرانی-ایمنی، باید به طور دقیق انجام شود زیرا وجود حتی یک خطای کوچک در چنین سیستم هایی ممکن است نتایج فاجعه باری داشته باشد. ضمناً چنین تحلیلی باید قبل از پیاده سازی یعنی در مرحله طراحی و در سطح مدل انجام شود. وارسی مدل، یک روش دقیق و مبتنی بر ریاضی است که ایمنی سیستم های نرم افزاری را با دریافت مدلی از آن و بررسی تمام حالت های قابل دسترس مدل انجام می دهد. با توجه به پیچیدگی بعضی سیستم ها و مدل های آن، وارسی مدل ممکن است با مشکل انفجار فضای حالت مواجه شود، یعنی نتواند تمام حالت های قابل دسترس را پیمایش کند. یک راه حل برای حل مشکل انفجار فضای حالت در چنین سیستم هایی این است که به جای تأیید ایمنی، وارسی مدل سعی می کند آنها را با یافتن خطاهایی از جمله بن بست (در صورت موجود) رد کند. اگرچه قبلاً هیوریستیکی برای یافتن بن بست در فضای حالت مدل ارائه شده و آن را در چندین الگوریتم جستجوی مکاشفه ای ساده و تکاملی به کار برده اند ولی سرعت تشخیص آن پایین بوده است. این مقاله، یک هیوریستیک جدید برای یافتن بن بست در فضای حالت مدل ارائه می کند و سرعت تشخیص آن با به کار بردن در الگوریتم های جستجوی مکاشفه ای ساده از جمله عمقی تکرارشونده A* و جستجوی پرتو و الگوریتم های تکاملی مختلف از جمله ژنتیک، بهینه سازی ازدحام ذرات و بهینه سازی بیزی با روش قبلی مقایسه می شود. مقایسه نتایج تجربی تأیید می کنند که هیوریستیک جدید می تواند حالت بن بست را در زمان کمتری نسبت به هیوریستیک قبلی پیدا کند.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 292

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 70 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
اطلاعات دوره: 
  • سال: 

    2016
  • دوره: 

    5
تعامل: 
  • بازدید: 

    229
  • دانلود: 

    0
چکیده: 

RUN CONCURRENT TRANSACTIONS IN A DATABASE MANAGEMENT SYSTEM MAY RESULT IN INCONSISTENCY. INCONSISTENCY IS AS THE RESULT OF INCORRECT VALUES THAT IS CREATED FOR DATA AVAILABLE AS A RESULT OF CONFLICT AND INTERFERENCE IN RUNNING TRANSACTIONS. CONCURRENCY CONTROL ALGORITHMS TO ENSURE CONCURRENT RUNNING OF MULTIPLE TRANSACTIONS ARE DESIGNED THAT WORK CONCURRENTLY WITH SHARED DATA. A GREAT DEAL OF RESEARCH HAS BEEN DONE IN THE FIELD OF DATABASE CONCURRENCY CONTROL, WHICH RESULTS IN VARIOUS CONCURRENCY CONTROL ALGORITHMS. A LOT OF STUDIES CAN BEEN DONE IN THE AREA OF EVALUATING CONCURRENCY CONTROL ALGORITHMS DUE TO VARIOUS ALGORITHMS IN THIS AREA AND THE FACT THAT ITS IMPORTANCE WILL INCREASE DAY BY DAY. IN THIS PAPER, FIRSTLY BASIC TWO-STAGE LOCKING CONCURRENCY CONTROL ALGORITHMS AS WELL AS TECHNIQUES OF WOUND - WAIT AND WAIT - DIE MODELED THAT INCLUDING THE TECHNIQUES OF PREVENTING DEADLOCK. SINCE THE COLORED PETRI NET HAVE HIGH MODELING CAPABILITIES AND ONE OF THE BEST WAYS TO ANALYZE THE CONCURRENCY CONTROL MECHANISMS; SO THAT MODELING WERE PROVIDED USING COLORED PETRI AND CPN TOOLS. A SIMPLE CASE STUDY WAS PRESENTED AS AN EXAMPLE TO BETTER UNDERSTAND WHICH INCLUDE THREE TRANSACTION AND TWO SOURCES. EVALUATION BASED ON THE PARAMETERS AND CRITERIA SUCH AS NUMBER OF TRANSACTIONS ENTERED INTO THE SYSTEM, THE NUMBER OF ORDERS FOR EACH TRANSACTION, THE NUMBER OF COMMON AND NON-COMMON DATA BETWEEN THE TRANSACTIONS AND THE NUMBER OF COMMON DATA IN TRANSACTIONS WITHOUT NON-COMMON DATA HAD TAKEN PLACE. BY COMPARING AND CONDUCTING SURVEYS, IT TURNED OUT THAT IN GENERAL, WOUND- WAIT ALGORITHM HAD BETTER RUNNING TIME COMPARED TO OTHER TWO ALGORITHMS. WAIT- DIE ALGORITHM IN TERMS OF RUN TIME WITH A LARGE DIFFERENCE WAS IN WORSE LEVEL COMPARED TO THE OTHER TWO ALGORITHMS AND BASIC TWO-PHASE LOCKING ALGORITHM DUE TO THE OCCURRENCE OF DEADLOCK HAD MANY PROBLEMS.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 229

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources
نشریه: 

مطالعات سیاسی

اطلاعات دوره: 
  • سال: 

    1390
  • دوره: 

    3
  • شماره: 

    12
  • صفحات: 

    45-91
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    1915
  • دانلود: 

    321
چکیده: 

فلسفه در دهه های معاصر دچار چرخش ها و دگردیسی های بنیادینی گردیده است. یکی از این دگردیسی ها، ظهور پساساختارگرایی است. در پساساختارگرایی وجود ابژه های بیرونی و عینی شناسائی انکار می شود و کنش های اجتماعی و حقیقت بیرونی آنها به امور عصری، گفتمانی و زبانی ارجاع و احاله می گردد. چنین امری به عرصه فلسفه سیاسی و هویات اجتماعی نیز تسری یافته است و بدین سان، دفاع از آرمان های استعلائی سیاسی و نقد مثمرثمر ایدئولوژی امکان ناپذیر می گردد و گفتمان های نقادانه به گفتمان های ذوقی و بازیهای زبانی فرو کاست می یابند. در این مقاله واقع گرایی و عینیت باوری به مثابه برون شویی از بن بست نقدناپذیری در فلسفه های پساساختارگرایانه معرفی می گردند. این مقاله در گام نخست رویکرد رئالیسم انتقادی هیلاری پاتنام و روی باسکار را بررسی می کند. سپس می کوشد تا بر مبنای آموزه واقع گرایی انتقادی برگرفته از فلسفه علوم طبیعی از ابژه اجتماعی نیز دفاع کند. پذیرش کام یابی تجربی و عملی یک نظریه علمی، عمدتا به دو راه تفسیر گردیده است. رئالیست ها اعتقاد دارند که در پس کفایت تجربی هر نظریه، باوری هستی شناسانه مبتنی بر وجود جهان خارج و تطابق نظریه با آن وجود دارد و آنتی رئالیست ها، بر عکس معتقدند که باور به یک نظریه، تنها بر اساس کفایت تجربی صورت می گیرد. این مقاله با برگرفتن رویکرد نخست، عرصه هویات اجتماعی و فلسفه ساسی را نیز با الگوی واقع گرایانه مطابق تر می بیند. از این رو، در باور به ابژه اجتماعی، فلسفه سیاسی نیز می تواند از موضعی استوارتر به نقادی سیاسی و دفاع از آرمان های استعلایی سیاسی بپردازد.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 1915

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 321 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 9
اطلاعات دوره: 
  • سال: 

    1388
  • دوره: 

    1
تعامل: 
  • بازدید: 

    546
  • دانلود: 

    550
چکیده: 

مساله بن بست یکی از مسایلی است که در سیستم های توزیع شده مطرح می باشد و یکی از راههای مقابله با آن بحث پیشگیری یا همان Prevention می باشد. در این مقاله ما به بررسی الگوریتمهای مختلف پیشنهاد شده جهت DEADLOCK Prevention در سیستم های توزیع شده پرداخته ایم و در این راستا به مقالاتی که در این زمینه بوده نظر انداخته وسعی کرده ایم الگوریتمهای ارایه شده را در طبقه بندی مناسبی ارایه دهیم، در نهایت روش جدیدی را برای جلوگیری از بن بست ارایه نموده ایم.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 546

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 550
نویسندگان: 

HASANZADE E. | BABAMIR S.M.

اطلاعات دوره: 
  • سال: 

    2012
  • دوره: 

    -
  • شماره: 

    16
  • صفحات: 

    417-422
تعامل: 
  • استنادات: 

    1
  • بازدید: 

    102
  • دانلود: 

    0
کلیدواژه: 
چکیده: 

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 102

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 1 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
نویسندگان: 

زیرک ساره

اطلاعات دوره: 
  • سال: 

    1395
  • دوره: 

    1
  • شماره: 

    1
  • صفحات: 

    75-92
تعامل: 
  • استنادات: 

    0
  • بازدید: 

    903
  • دانلود: 

    211
چکیده: 

عواطف می توانند باعث پیوست یا گسست گفتمان شوند. سازوکار وجوه حسی و عاطفی در داستان تراژیک حسنک وزیر در تاریخ بیهقی، به شکست گفتمانی منجر می شود. در مقاله حاضر بر اساس روش تحلیل گفتمان مبتنی بر پدیدارشناسی حواس و عواطف می کوشیم این نکته را آشکار سازیم که زیرساخت عاطفی تعیین کننده و تمایزبخش در داستان حسنک وزیر از «تحقیر اجتماعی و بیناسوژگانی»نشات می گیرد که شخصیت منفی عاطفی داستان (بوسهل) تجربه می کند و به عواطفی چون«تشفی، تعصب و انتقام» می انجامد که وجه تشفی گرانه آن حتی پس از انتقام جریان دارد. شدت وجه عاطفی از سوی این کنشگر منفی در راستای ارائه یک گزاره کلی ناظر به کنش سیاسی خردگرایانه است، در عین حال، وجه عقلایی داستان بر شخصیت خردگرا و پیچیده داستان (سلطان مسعود غزنوی) استوار است که گزاره های عقلایی را در متن تولید می کند اما به لحاظ اشتراک در تحقیر سوژگانی با بوسهل پیوند و با حسنک گسست گفتمانی می یابد و از این رو این شخصیت خردگرا علیرغم تعیین کننده بودن و برخورداری از قدرت اصلی در تعیین سرنوشت گفتمان، در لایه دوم پیرنگ قرار می گیرد.

شاخص‌های تعامل:   مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید 903

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesدانلود 211 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesاستناد 0 مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resourcesمرجع 0
litScript
telegram sharing button
whatsapp sharing button
linkedin sharing button
twitter sharing button
email sharing button
email sharing button
email sharing button
sharethis sharing button